Functional programming

Results: 3706



#Item
261Computing / Theoretical computer science / Programming language theory / Logic in computer science / Formal languages / Lambda calculus / Functional languages / Markup languages / Explicit substitution / International Conference on Rewriting Techniques and Applications / XSLT / Combinatory logic

Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment

Add to Reading List

Source URL: krisrose.net

Language: English - Date: 2015-09-22 13:54:54
262Algebra / Mathematics / Functional programming / Category / Pullback / Grothendieck topology / Adjoint functors / Norm / Arrow / Monad / Limit / Functor

UNPUBLISHEDA Cartesian Bicategory of Nondeterministic Arrows between Domains Eugene W. Stark1 Department of Computer Science

Add to Reading List

Source URL: bsd7.cs.sunysb.edu

Language: English - Date: 2010-03-16 01:05:50
263Software engineering / Computer programming / Computing / Subroutines / Data types / Functional programming / Cons / Lisp / Callback / Scheme / Anonymous function / Module:Requested move

Microsoft PowerPoint - OOPS1v3.ppt

Add to Reading List

Source URL: sicp.csail.mit.edu

Language: English - Date: 2005-11-08 09:23:53
264Declarative programming / Constraint programming / Software engineering / Programming paradigms / Computer programming / Constraint logic programming / Logic programming / Constraint satisfaction / Concurrent constraint logic programming

Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de

Add to Reading List

Source URL: www.bioinf.uni-leipzig.de

Language: English - Date: 2013-05-14 07:18:27
265Software engineering / Computing / Computer programming / Functional languages / Q / SQR / MIDI / Functional programming / Anonymous function / Open Sound Control / Futures and promises / Pure

Q: A Functional Programming Language for Q: A Functional Programming Language Multimedia Applications

Add to Reading List

Source URL: lac.zkm.de

Language: English - Date: 2005-06-24 21:08:18
266Computing / Software engineering / Computer programming / Cloud infrastructure / Functional programming / Immutable object / Object / Cloud computing / Const

Immutable Infrastructure Considerations for the Cloud and Distributed Systems Josha Stella

Add to Reading List

Source URL: fugue.co

Language: English - Date: 2016-08-17 10:24:39
267Software engineering / Computing / Computer programming / Functional languages / Object-oriented programming languages / Concurrent programming languages / Procedural programming languages / Transformation languages / Scala / Macro / Nemerle / Metaprogramming

Philosophy of Scala Macros Eugene Burmako ´ Ecole Polytechnique F´ ed´

Add to Reading List

Source URL: scalamacros.org

Language: English - Date: 2016-08-18 07:56:24
268Software engineering / Computer programming / Programming language theory / Compiler optimizations / Functional languages / Inline expansion / Subroutines / Haskell / Entry point

Fastest Lambda First λ Neil Mitchell www.cs.york.ac.uk/~ndm/

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
269Software engineering / Computing / Computer programming / Data types / Type theory / Subroutines / Functional programming / Lambda calculus / Type system / Gradual typing / Anonymous function / Type safety

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc.

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:51
UPDATE